@if (@_jscript)
  document.write("JScript version " + @_jscript_version + ", build " + @_jscript_build + "<BR>");
@end
